Meager forking
نویسندگان
چکیده
منابع مشابه
Thorn-forking as Local Forking
We introduce the notion of a preindependence relation between subsets of the big model of a complete first-order theory, an abstraction of the properties which numerous concrete notions such as forking, dividing, thorn-forking, thorn-dividing, splitting or finite satisfiability share in all complete theories. We examine the relation between four additional axioms (extension, local character, fu...
متن کاملA Geometric Introduction to Forking and Thorn-forking
A ternary relation |̂ between subsets of the big model of a complete first-order theory T is called an independence relation if it satisfies a certain set of axioms. The primary example is forking in a simple theory, but o-minimal theories are also known to have an interesting independence relation. Our approach in this paper is to treat independence relations as mathematical objects worth study...
متن کاملLecture Notes on Forking
1.1. Types. Most of the time we fix a complete countable first-order theory T in a language L, and we let M be a very saturated model of it, a “monster” model. All our sets and models are subsets and elementary submodels of M. A set is called small if it is cardinality is smaller than the saturation of M. For a set A, we let Def (A) be the boolean algebra of A-definable subsets of M, i.e. sets ...
متن کاملUniversally Meager Sets
We study category counterparts of the notion of a universal measure zero set of reals. We say that a set A ⊆ R is universally meager if every Borel isomorphic image of A is meager in R. We give various equivalent definitions emphasizing analogies with the universally null sets of reals. In particular, two problems emerging from an earlier work of Grzegorek are
متن کاملOn Perfectly Meager Sets
We show that it is consistent that the product of perfectly meager sets is perfectly meager.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1994
ISSN: 0168-0072
DOI: 10.1016/0168-0072(94)90028-0